Feeds to Scour
SubscribedAll
Scoured 9590 posts in 931.3 ms
JavaScript vs Go: A Deep Dive into Syntax and Philosophy
dev.to·2h·
Discuss: DEV
🔗Concatenative Programming
Preview
Report Post
"Unfortunately We Are Unable to Provide Feedback"
gagliardoni.net·23h·
Discuss: Hacker News
🌐Protocol Synthesis
Preview
Report Post
A Validated Semantics for LLVM IR
sf.snu.ac.kr·9h
✅Formal Methods
Preview
Report Post
Network Programming
theworld.com·22h
📡Network Protocol Design
Preview
Report Post
GateBreaker: Gate-Guided Attacks on Mixture-of-Expert LLMs
arxiv.org·2d
💻Local LLMs
Preview
Report Post
Introducing Pkl, a programming language for configuration
pkl-lang.org·1h
💧Liquid Types
Preview
Report Post
Optimizing Bracha's Reliable Broadcast: Shaving Rounds off a 37-Year-Old Algorithm
blog.can.ac·2d
🤝Paxos Consensus
Preview
Report Post
Rack makes Pion SCTP 71% faster with 27% less latency
pion.ly·3d·
Discuss: Hacker News, r/golang
🌐Network Protocols
Preview
Report Post
The Complete Guide to Streaming LLM Responses in Web Applications: From SSE to Real-Time UI
dev.to·19h·
Discuss: DEV
🌊Streaming Systems
Preview
Report Post
AI Infrastructure Basics: How MCP Works
newsletter.systemdesign.one
·1d·
Discuss: r/programming
🌊Stream Processing
Preview
Report Post
jart/jtckdint: C23 Checked Arithmetic
github.com·1d
💧Liquid Types
Preview
Report Post
I'm looking for high-level evaluations for a private and unique heuristic logic engine.
reddit.com·1d·
Discuss: r/LLM
🔮Proof Search
Preview
Report Post
Cross-Modal Knowledge Distillation for deep-sea exploration habitat design with embodied agent feedback loops
dev.to·23h·
Discuss: DEV
🔲Cellular Automata
Preview
Report Post
Meeting Seed7
genodians.org·1d
🦀Rust Macros
Preview
Report Post
Prompts are becoming Code, but we still treat them like Strings
dev.to·13h·
Discuss: DEV
⚡Proof Automation
Preview
Report Post
Evaluating Context Compression for AI Agents
factory.ai·3d·
Discuss: Hacker News
🧠Intelligence Compression
Preview
Report Post
Learning-Enabled Elastic Network Topology for Distributed ISAC Service Provisioning
arxiv.org·2d
🕸️Network Topology
Preview
Report Post
From Intent to Proof: Dafny Verification for Web Apps
midspiral.com·1d·
Discuss: Lobsters, Hacker News
🏛️Agda
Preview
Report Post
Taming the Interactions API in the @google/genai SDK
dev.to·2d·
Discuss: DEV
🎯Gradual Typing
Preview
Report Post
An introduction to modular induction and some attempts to solve it
lesswrong.com·3d
🔲Cellular Automata
Preview
Report Post